Nuprl Definition : sqequal def 13,42
s ~ t is Primitive 
latex

Upcore 1, core 1
Definitionss ~ t
FDL editor aliasessim

origin